221. Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
Author: Branislav Rovan, Peter Vojtas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2747
222. Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings
Author: Jiri Sgall, Ales Pultr, Petr Kolman )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2136
223. Mathematical foundations of computer science 1989 : 14th international symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : proceedings
Author: A. Kreczmar, G. Mirkowska )Eds.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
9
.
M35
M35
1989
224. Mathematical foundations of computer science 1992: 17th international symposium, Prague, Czechoslovakia, August 24-28,1992:proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science--Mathematics--Congresses
Classification :
QA
76
.
9
.
M35
.
M3862
1992
225. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
Author: Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Sequaential machine theory - Congresses,، Formal languages - Congresses
Classification :
QA
267
.
5
.
S4S89
1975
226. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
Author: Francesca Tarocco.
Library: Library of Islamic Parliament (Tehran)
Subject:
230. Penal populism, sentencing councils and se
Author: editors, Arie Freiberg, Karen Gelb.
Library: Library of Islamic Parliament (Tehran)
Subject: Child labour in a globalized world :
231. Proceedings
Author: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
Classification :
QA
76
.
9
.
M35
S94
1989
232. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
233. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
234. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
S94
2004
235. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
Author: sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
Classification :
QA
268
.
5
.
S95
1993
236. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000
237. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
238. Responding to terrorism :
Author: 20090601
Library: Library of Islamic Parliament (Tehran)
Subject:
239. Restoring justice after large-scale
Author: 20090601 0
Library: Library of Islamic Parliament (Tehran)
Subject:
240. Rough Sets and Knowledge Technology
Author: edited by Pawan Lingras, Marcin Wolski, Chris Cornelis, Sushmita Mitra, Piotr Wasilewski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer graphics.,Computer science.,Data mining.,Numerical analysis.
